/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
//package martino;

/**
 *
 * @author sempere
 */


public class AlwaysTrueSymbol extends Symbol {
    

     public AlwaysTrueSymbol(String name, type t){
        super(name,t);
      
    }
    
}
